14.6 The entropy of mixing